Finite-model theory - a personal perspective
نویسندگان
چکیده
منابع مشابه
Finite-Model Theory - a Personal Perspective
Finite-model theory is a study of the logical properties of finite mathematical structures. This paper is a very personalized view of finite-model theory, where the author focuses on his own personal history, and results and problems of interest to him, especially those springing from work in his Ph.D. thesis. Among the topics discussed are: (1) D#&mces herween the model theory of‘jinire struct...
متن کاملFinite and Infinite Model Theory - A Historical Perspective
We describe the progress of model theory in the last half century from the standpoint of how finite model theory might develop.1
متن کاملThe Early Years of String Theory: a Personal Perspective
This article surveys some of the highlights in the development of string theory through the first superstring revolution in 1984. The emphasis is on topics in which the author was involved. Based on a lecture presented on June 20, 2007 at the Galileo Galilei Institute
متن کاملPseudo-finite model theory
We consider the restriction of first–order logic to models, called pseudo– finite, with the property that every first–order sentence true in the model is true in a finite model. We argue that this is a good framework for studying first-order logic on finite structures. We prove a Lindström Theorem for extensions of first order logic on pseudo-finite structures.
متن کاملOn Finite Model Theory
The subject of this paper is the part of finite model theory intimately related to the classical model theory. In the very beginning of our career in computer science, we attended a few lectures on database theory where databases were inconspicuously allowed to be infinite and then classical model-theoretical theorems were applied. The use of infinite databases aroused our suspicion and prompte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90218-i